Syntax vs. semantics: A polarized approach
نویسندگان
چکیده
منابع مشابه
Syntax vs. semantics: A polarized approach
We present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a corresponding game model. We show that the connection between them is very strong through an equivalence of categories (this contains soundness, full completeness and faithful completeness). An important topic in the recent developments of denotational semantics has been the quest for stronger and stronger...
متن کاملSyntax vs. Semantics on Finite Structures
Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved by extensions if and only if it is equivalent to an existential sentence. Many of these correspondences break when one restricts attention to nite models. In such a case, one may attempt to nd a new semantical characterization o...
متن کاملA syntax directed approach to picture semantics
If one constructs a visual language, it is necessary to have a methodology for constructing the relationship between aspects of the pictures and the corresponding aspects of the application domain. The various methods for specifying Visual Languages emphasize computational aspects, where the semantics of the picture is embedded in the computational setting of the speciication, but they are not ...
متن کاملSyntax vs. semantics: competing approaches to dynamic network intrusion detection
Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we consider two competing approaches to dynamic network intrusion detection: syntax based and semantics based approaches. For the syntax driven approach, we propose two sliding window based schemes to generate potential worm signatures automatically. Since ...
متن کاملExistential Vs Preserved by Extensions, and Other Syntax/semantics Correspondences
We look at various preservation theorems of classical logic ((rst of all, Los-Tarski theorem) which fail in the context of nite models , and examine the extent of their failure. In some cases, even if the old correspondence between syntactical and semantical properties does not hold, one can nd a new semantical counterpart for the syntacti-cal property, and vice versa-a new syntactical counterp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2005
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.05.012